prenex normal form - German English Dictionary